|
| |
|
|
A Tool for Computing Nash Equilibria
Šebek, Petr ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
This thesis deals with development of tool for computing Nash equilibrium in non-zero-sum non-cooperative games. It defines basic terms in non-cooperative game theory. It describes suitable algorithms for computation pure and mixed Nash equilibrium according to number of players. Thesis presents implementation of resulting application and experiments conducted on it.
|
|
|
Optimization of Aircraft Tracker Parameters
Samek, Michal ; Vlk, Jan (referee) ; Smrž, Pavel (advisor)
Diplomová práce se zabývá optimalizací systému pro sledování letadel, využívaného pro řízení letového provozu. Je popsána metodika vyhodnocování přesnosti sledovacího systému a přehled relevantních algoritmů pro sledování objektů. Dále jsou navrženy tři přístupy k řešení problému. První se pokouší identifikovat parametry filtrovacích algoritmů pomocí algoritmu Expectation-Maximisation, implementací metody maximální věrohodnosti. Druhý přístup je založen na prostých odhadech parametrů normálního rozložení z naměřených a referenčních dat. Nakonec je zkoumána možnost řešení pomocí optimalizačního algoritmu Evoluční strategie. Závěrečné vyhodnocení ukazuje, že třetí přístup je pro daný problém nejvhodnější.
|
|
|
Evolutionary Design of Ultrasound Treatment Plans
Masárová, Mária ; Sekanina, Lukáš (referee) ; Jaroš, Jiří (advisor)
Použitie zameraného ultrazvuku pomáha zachraňovať a uľahčovať ľudské životy, nakoľko práve jeho využitím môžeme liečiť epilepsiu, ničiť rakovinové bunky a zastavovať vnútorné krvácanie neinvazívnou cestou, ktorá predstavuje pre človeka prijateľnejšie a bezpečnejšie riešenie. Vzhľadom na to, že bezpečnosť a zdravie človeka je prioritou pri liečení závažných ochorení, sa táto práca zaoberá porovnaním rôznych evolučných algoritmov a ich použitím pri návrhu evolučných ultrazvukových operačných plánov. V práci sa využívajú dva typy médií, a to homogénne médium a heterogénne médium. Pri vyhodnocovaní algoritmov sa zameriavame na efektivitu s ohľadom na veľkosť populácie, počet evaluácií fitness funkcie a výpočetný čas. V homogénnom médiu sa ako najlepší algoritmus ukázal CMA-ES, ktorý v priebehu 20 sekúnd dokázal nájsť optimálne riešenie so 100% pokrytím cieľovej oblasti pre rotované zrnko ryže. Heterogénne médium je ale oveľa zložitejší problém, predovšetkým kvôli lebke, ktorá odráža a pohlcuje veľkú časť ultrazvuku. Tu sa ako najlepší preukázal algoritmus SA, ktorý našiel výsledok s 23% pokrytím cieľovej oblasti v prvom testovacom scenári. Doba výpočtu trvala približne 1 hodinu a 18 minút, čo značí že je čas veľmi znemožňujúci ("drahý") faktor.
|
|
|
Evolutionary Design of Ultrasound Treatment Plans
Masárová, Mária ; Sekanina, Lukáš (referee) ; Jaroš, Jiří (advisor)
Použitie zameraného ultrazvuku pomáha zachraňovať a uľahčovať ľudské životy, nakoľko práve jeho využitím môžeme liečiť epilepsiu, ničiť rakovinové bunky a zastavovať vnútorné krvácanie neinvazívnou cestou, ktorá predstavuje pre človeka prijateľnejšie a bezpečnejšie riešenie. Vzhľadom na to, že bezpečnosť a zdravie človeka je prioritou pri liečení závažných ochorení, sa táto práca zaoberá porovnaním rôznych evolučných algoritmov a ich použitím pri návrhu evolučných ultrazvukových operačných plánov. V práci sa využívajú dva typy médií, a to homogénne médium a heterogénne médium. Pri vyhodnocovaní algoritmov sa zameriavame na efektivitu s ohľadom na veľkosť populácie, počet evaluácií fitness funkcie a výpočetný čas. V homogénnom médiu sa ako najlepší algoritmus ukázal CMA-ES, ktorý v priebehu 20 sekúnd dokázal nájsť optimálne riešenie so 100% pokrytím cieľovej oblasti pre rotované zrnko ryže. Heterogénne médium je ale oveľa zložitejší problém, predovšetkým kvôli lebke, ktorá odráža a pohlcuje veľkú časť ultrazvuku. Tu sa ako najlepší preukázal algoritmus SA, ktorý našiel výsledok s 23% pokrytím cieľovej oblasti v prvom testovacom scenári. Doba výpočtu trvala približne 1 hodinu a 18 minút, čo značí že je čas veľmi znemožňujúci ("drahý") faktor.
|
|
| |
|
|
A Tool for Computing Nash Equilibria
Šebek, Petr ; Kočí, Radek (referee) ; Hrubý, Martin (advisor)
This thesis deals with development of tool for computing Nash equilibrium in non-zero-sum non-cooperative games. It defines basic terms in non-cooperative game theory. It describes suitable algorithms for computation pure and mixed Nash equilibrium according to number of players. Thesis presents implementation of resulting application and experiments conducted on it.
|
|
|
Optimization of Aircraft Tracker Parameters
Samek, Michal ; Vlk, Jan (referee) ; Smrž, Pavel (advisor)
Diplomová práce se zabývá optimalizací systému pro sledování letadel, využívaného pro řízení letového provozu. Je popsána metodika vyhodnocování přesnosti sledovacího systému a přehled relevantních algoritmů pro sledování objektů. Dále jsou navrženy tři přístupy k řešení problému. První se pokouší identifikovat parametry filtrovacích algoritmů pomocí algoritmu Expectation-Maximisation, implementací metody maximální věrohodnosti. Druhý přístup je založen na prostých odhadech parametrů normálního rozložení z naměřených a referenčních dat. Nakonec je zkoumána možnost řešení pomocí optimalizačního algoritmu Evoluční strategie. Závěrečné vyhodnocení ukazuje, že třetí přístup je pro daný problém nejvhodnější.
|
|
|
Towards Low-Dimensional Gaussian Process Metamodels for CMA-ES
Bajer, Lukáš ; Holeňa, Martin
Gaussian processes and kriging models has attracted attention of researchers from different areas of black-box optimization, especially since Jones’ introduction of the Efficient Global Optimization (EGO) algorithm. However, current implementations of the EGO or real-world applications are rather few. We conjecture that the EGO is not suitable for higher-dimensional optimization and try to investigate whether hybridization of a low-dimensional local optimization with the current state-of-the-art continuous black-box optimizer CMA-ES (Covariance Matrix Adaptation Evolution Strategy) could help. In this paper, only a first proposal of such a GP/CMA-ES connection is described and some preliminary tests are presented.
|
guest ::
